\renewcommand{\author}{Tsvetelina Yonova}
\renewcommand{\title}{Formal Description and Analysis of Distributed Online Collaboration Platforms}
\renewcommand{\date}{12. August 2010}
\newcommand{\matrikel}{312208}

\newcommand{\headline}[1]{\centering \begin{longtable}{|p{0.5cm}p{14cm}|}
\hline
\endhead
\hline
\multicolumn{2}{|r|}{... continued on next page}\\ \hline
\endfoot
\hline
\endlastfoot
\multicolumn{2}{|l|}{\ensuremath{#1}}}
\newcommand{\ben}{}
\newcommand{\codeline}[1]{\\&\ensuremath{#1}}
\newcommand{\bed}{\end{longtable} \raggedright}
\newcommand{\bt}{\begin{tabular}{|l|} \hline}
\newcommand{\et}{\\ \hline \end{tabular}}
\newcommand{\new}{\ensuremath{\nu \;}}
%\newcommand{\ben}{\begin{eqnarray*}}
%\newcommand{\bed}{\end{eqnarray*}}
\newcommand{\pif}{\mbox{\textbf{if }}}
\newcommand{\pelse}{\mbox{\textbf{else }}}
\newcommand{\pthen}{\mbox{\textbf{ then }}}
\newcommand{\pendif}{\mbox{\textbf{endif}}}
\newcommand{\pforall}{\mbox{\textbf{forall}}}
\newcommand{\pfor}{\mbox{\textbf{for }}}
\newcommand{\pto}{\mbox{\textbf{ to }}}
\newcommand{\pdo}{\mbox{\textbf{ do }}}
\newcommand{\pendfor}{\mbox{\textbf{endfor}}}
\newcommand{\por}{\mbox{\textbf{or}}}
\newcommand{\pand}{\mbox{\textbf{ and }}}
\newcommand{\la}{\langle}
\newcommand{\ra}{\rangle}
\newcommand{\nul}{\ensuremath{ \mbox{ \textbf{0 }}}}
\newcommand{\bal}[2]{\begin{framed}\parbox{14.7cm}{#1}\\\rule[0mm]{14.7cm}{0.5mm}\vspace{2mm}\\#2\\\begin{algorithmic}}
\newcommand{\eal}{\end{algorithmic}\end{framed}}
\newcommand{\fra}[1]{\begin{framed}#1\end{framed}}

\setlength\parskip{.3\baselineskip
	plus .1\baselineskip
	minus .4\baselineskip
}
